Qualification Routes Messaging for Dynamic Systems Using а Logical-probabilistic Method

An Optimal Dynamic Control Method for an Isolated Intersection Using Fuzzy Systems

Traffic flow systems are nonlinear and uncertain, so it is very difficult to find their optimal points. In traditional traffic control systems, the traffic lights of crossings change in a fixed time period that is not optimal. On the other hand, most proposed systems are sufficiently capable of coping with the uncertainties of traffic flow. To solve this problem, there is a need to develop expe...

Logical Characterizations of Bisimulations for Discrete Probabilistic Systems

We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize strong, strong probabilistic and weak probabilistic bisimulation, and differ only in the kind of diamond operator used. Compared to the Larsen and Skou logic for reactive systems, these logics introduce a new operator ...

Systems and Learning Algorithms for Probabilistic Logical Knowledge Bases

In real world domains the information is often uncertain, hence it is of foremost importance to be able to model uncertainty and to reason over it. In this paper we show tools and learning systems under development for probabilistic structured data. Four systems will be considered and an overview of the related issues and of future work will be given. The first described system is cplint on SWI...

National Qualification Systems Integration using Ontologies

This work presents the use of ontologies as a way to tackle the problem of integration of qualification systems in order to enable the transparency and mobility of students at European level. For this, qualification systems at post-secondary non-academic levels of nine EU countries have been formalized in terms of profile, activities, competences, learning outcomes, etc., first using UML for a ...

Action - Centered Reasoning for Probabilistic Dynamic Systems